MANTRA: a shell for hybrid knowledge representation
نویسندگان
چکیده
منابع مشابه
Towards OM - An Object-Oriented Implementation of Mantra
Mantra is a shell for hybrid knowledge representation and hybrid inferences. It supports three diierent formalisms: logic, frames, and semantic networks. Mantra was developed in Common Lisp at Karl-sruhe by Bittencourt and Calmet. The OM project seeks to re-engineer Mantra through the use of design patterns, the OMT notation, and C++ as the implementation language. The logic module forms the he...
متن کاملReasoning on Knowledge in Symbolic Computing
Extended Abstract A novel framework, Formal, for specifying mathematical domains of computation and their inherently related type inference mechanisms as well as for transforming those speciications into knowledge bases is introduced. This framework Tja] aims at designing an environment for reasoning about knowledge in symbolic computing. It involves an algebraic speciication language, a method...
متن کاملUnified Domains and Abstract Computational Structures
This paper introduces a formalism to specify abstract computational structures (ACS) of mathematical domains of computation. This is a basic step of a project aiming at designing an environment for symbolic computing based upon knowledge representation and relying, when needed, on AI methods. We present a method for the speciication of these ACS's which is embedded in the framework of algebraic...
متن کاملHybrid Representation for Speci cation andCommunication of Mathematical
It is well known that mathematicians switch to diierent views of a problem when needed. They can represent a problem at a formal, conceptual, heuristic, algorithmic or constraint level whenever necessary. To represent Mathematics within several formalisms has been the subject of many research projects. However, only few knowledge-based systems manage translations of representations between theo...
متن کاملIntelligent GIS: Architectural Issues and Implementation Methods
The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architecture, an intelligent agent monitors events, which occur in the GIS environment, and execute tasks depending on user’s actions. The intelligent agent includes an expert system shell and knowledge base. A hybrid knowledge represent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991